Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
101	Mobility and Security in Worldwide Computing Robin D. Toll Rensselaer Polytechnic Institute 110 8th Street Troy, NY, U.S.A. Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:40 Constructible universe Actor model Process calculi Symbol Π-calculus
102	Space-Aware Ambients and Processes ? Franco Barbanera Universit` a di Catania, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-08 08:30:15 Valuation Mathematics Mobile Membranes Π-calculus Process calculi Ambient calculus Calculus
103	Bachelor Thesis: „Security Aspects of Digital Actors“ By: Ayse Morali Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Actor model Concurrent computing Security Ambient calculus Computer security Middleware Process calculi Computing Electronic commerce
104	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:27:53 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
105	Stochastic Volatility with Long�Range Dependence Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 17:47:44 Options Stochastic differential equations Stochastic calculus Volatility Stochastic volatility Gaussian process Normal distribution Black–Scholes Long-range dependency Statistics Stochastic processes Mathematical finance
106	Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:39 Applied mathematics Computer science Models of computation Mathematics Π-calculus Lambda calculus Model theory Mobile Membranes Process calculi Theoretical computer science Ambient calculus
107	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
108	Behavioural Typing for Safe Ambients∗ Michele Bugliesi Giuseppe Castagna Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:32:09 Software engineering Type system Valuation Mathematics Type safety Ambient intelligence Computing Mobile Membranes Process calculi Type theory Ambient calculus
109	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
110	Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus P. Mateus1 ? , J. Mitchell2 ?? , and A. Scedrov3 ? ? ? 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-23 20:06:40 Markov processes Markov chain PP RSA IP Stochastic process Statistics Theoretical computer science Applied mathematics